Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.

Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.

For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.

The hexagon of opposition is an improvement of the square of opposition due to Robert Blanché. After a short presentation of the square and its various interpretations, we discuss two important problems related with the square: the problem of the I-corner and the problem of the O-corner. The meaning of the notion described by the I-corner does not correspond to the name used for it. In the case of the O-corner, the problem is not a wrong-name problem but a no-name (...) problem and it is not clear what is the intuitive notion corresponding to it. We explain then that the triangle of contrariety proposed by different people such as Vasiliev and Jespersen solves these problems, but that we don’t need to reject the square. It can be reconstructed from this triangle of contrariety, by considering a dual triangle of subcontrariety. This is the main idea of Blanché’s hexagon. We then give different examples of hexagons to show how this framework can be useful to conceptual analysis in many different fields such as economy, music, semiotics, identity theory, philosophy, metalogic and the metatheory of the hexagon itself. We finish by discussing the abstract structure of the hexagon and by showing how we can swing from sense to non-sense thinking with the hexagon. (shrink)

This paper discusses the development of the Logic and Religion project and the various events organized within this framework, particularly the 3rd and 4th editions, with this volume including papers presented at both.

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...) is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics. (shrink)

Im Folgenden stellen wir drei aktuelle Forschungsbereiche zur formalen Logik bei Kant allgemeinverständlich dar und greifen dabei auf die trans zendentale Logik nur dann zurück, wenn sie ein besseres Verständnis der formalen Logik ermöglicht: Zunächst wird Kants Beitrag zur Rezeption und Weiterentwicklung von Euler-artigen Diagrammen dargestellt. Diese Diagramme wurden in den 1990er Jahren wiederentdeckt, als formales System interpretiert und werden heute insbes. in der Didaktik, in den Kognitionswissenschaften, in der Linguistik, in KI-Bereichen wie der (Logik-basierten) Wissensrepräsentation eingesetzt, und auch in (...) der Philosophie verwendet (Kapitel 2). Mehrere Studien haben in den letzten Jahren gezeigt, dass Kant in weiten Teilen seines Systems Oppositionsverhältnisse verwendet, die der Struktur des logischen Quadrats entsprechen. Das logische Quadrat ist heute Gegenstand intensiver Forschung, da es neben der klassischen, auch die paravollständige und parakonsistente Negation abbildet (Kap. 3). Jüngst wurde zudem die Implementierbarkeit der kantischen Logik in ein formalisiertes deduktives System bewiesen. Die Bedeutung dieses Ergebnisses wird insbesondere im Hinblick auf die formalisierte Umsetzung der Sätze vom Widerspruch, vom zureichenden Grund und der Ausschließung des Mittleren erläutert (Kap. 4). Abschließend möchten wir ein paar Perspektiven für die Forschung zur formalen Logik bei Kant nennen (Kap. 5). -- -/- Note: No financial support acknowledged by the second autor (S. Kovač). (shrink)

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and (...) influence. (shrink)

Dans un texte désormais célèbre, Ferdinand de Saussure insiste sur l’arbitraire du signe dont il vante les qualités. Toutefois il s’avère que le symbole, signe non arbitraire, dans la mesure où il existe un rapport entre ce qui représente et ce qui est représenté, joue un rôle fondamental dans la plupart des activités humaines, qu’elles soient scientifiques, artistiques ou religieuses. C’est cette dimension symbolique, sa portée, son fonctionnement et sa signification dans des domaines aussi variés que la chimie, la théologie, (...) les mathématiques, le code de la route et bien d’autres qui est l’objet du livre La Pointure du symbole. -/- Jean-Yves Béziau, franco-suisse, est docteur en logique mathématique et docteur en philosophie. Il a poursuivi des recherches en France, au Brésil, en Suisse, aux États-Unis (UCLA et Stanford), en Pologne et développé la logique universelle. Éditeur-en-chef de la revue Logica Universalis et de la collection Studies in Universal Logic (Springer), il est actuellement professeur à l’Université Fédérale de Rio de Janeiro et membre de l’Académie brésilienne de Philosophie. SOMMAIRE -/- PRÉFACE L’arbitraire du signe face à la puissance du symbole Jean-Yves BÉZIAU La logique et la théorie de la notation (sémiotique) de Peirce (Traduit de l’anglais par Jean-Marie Chevalier) Irving H. ANELLIS Langage symbolique de Genèse 2-3 Lytta BASSET -/- Mécanique quantique : quelle réalité derrière les symboles ? Hans BECK -/- Quels langages et images pour représenter le corps humain ? Sarah CARVALLO Des jeux symboliques aux rituels collectifs. Quelques apports de la psychologie du développement à l’étude du symbolisme Fabrice CLÉMENT Les panneaux de signalisation (Traduit de l’anglais par Fabien Shang) Robert DEWAR Remarques sur l’émergence des activités symboliques Jean LASSÈGUE Les illustrations du "Songe de Poliphile" (1499). Notule sur les hiéroglyphes de Francesca Colonna Pierre-Alain MARIAUX Signes de vie Jeremy NARBY Visualising relations in society and economics. Otto Neuraths Isotype-method against the background of his economic thought Elisabeth NEMETH Algèbre et logique symboliques : arbitraire du signe et langage formel Marie-José DURAND – Amirouche MOKTEFI Les symboles mathématiques, signes du Ciel Jean-Claude PONT La mathématique : un langage mathématique ? Alain M. ROBERT. (shrink)

In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of proposition, according to which a whole hierarchy of congruences (...) leads to different kinds of objects. (shrink)

Universal logic is to logic what universal algebra is to algebra. It is not a specific system of logic that would apply to everything but a general theory of all existing and possible logics. This new field has been slowly emerging through the new directions of research in logic of the past decades and the name was coined 15 years ago. In the Spring of 2005 was organized in Montreux, Switzerland, the First World Congress on Universal Logic. This exciting event (...) gathered more than 200 people from about 40 different countries. Many famous logicians were present there, such as Dov Gabbay, Krister Segerberg, Saul Kripke, Michael Dunn, Jouko Väännänen. Most of the papers in this book arose from talks - and discussions that follow - presented during this event. They are concerned with philosophical and historical approaches discussing the basic concepts of logic and reflecting the meaning of a universal approach to logic, the development and elaboration of general tools in order to construct frameworks useful for studying classes of logics, applications of logics to concrete problems through the universal perspective. (shrink)

This paper introduces the special issue on Logic and Religion of the journal Logica Universalis (Springer). The issue contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible (...) Objects, by Wolfgang Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

“Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal (...) systems in the sense of Hilbert, Curry and the formalist school, (4) Symbolic logic, a science using symbols, such as Venn diagrams, (5) Mathematical logic, a mathematical approach to reasoning. We argue that these five meanings are independent and that the meaning (5) is the one which better characterized modern logic, which should therefore not be called “formal logic”. (shrink)

We are pleased to present this special issue of the journal History and Philosophy of Logic dedicated to the square of opposition.The square of opposition is a diagram and a theory of opposition re...

After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related to the 4th World Congress on the Square of Opposition which was organized in the Vatican at the Pontifical Lateran University in 2014. We distinguish three categories of work: those dealing with the evolution and development of the theory of opposition, those using the square as a metalogical tool to give a better understanding of various systems of logic (...) and those related with applications of the theory of opposition to conceptual analysis and pedagogy. (shrink)

This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with Suppes or/and with his ideas. The book also contains one of the last papers by Suppes (co-authored by two of his collaborators). -/- The work of Suppes touches many different areas, ranging from meteorology to physics, through logic, mathematics, psychology, neuroscience, education, painting, but he was first of all and above all a philosopher, always questioning, but not in vain. There are not many philosophers (...) who can be proud of having written influential math textbooks, contributed decisively to the philosophical foundations of science, helped to develop research in real labs, promoted new forms o education (computer-assisted learning and the EGPY – Education Program for Gifted Youth). -/- Since the range of interest of Suppes was very broad, so is the variety of topics dealt with in this volume. The work of a researcher is certainly not limited to his own writings, but also has to be appreciated through the work of the people he has been working with and influenced. From this point of view the work of Suppes is very impressive, and the present book contributes to show that. -/- This is a follow up of a special issue of the journal Synthese, New Directions in the Foundations of Science, edited by Béziau and Krause, after a meeting they organized with Suppes in Florianópolis (Brazil) in 2002 for his 80th birthday. -/- Jean-Yves Béziau worked with Suppes at Stanford University for two years (2000 and 2001) and has been continuously working in the Suppes tradition of logic, methodology and philosophy of science, which emphasizes structures and models. -/- Décio Krause has used Suppes’ approach to the axiomatization of scientific theories in many fields. With J.C.M. Magalhães, he presented a ``Suppes predicate” for genetics and natural selection and with S. French he developed a Suppes predicate for quantum field theories via Fock spaces. (shrink)

This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible (...) Objects, by Wolfgang Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics. • DOI:10.5007/1808-1711.2010v14n1p31.

In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...) A detailed discussion about this phenomenon, as well as some possible solutions for it, are given. (shrink)

In a first section, we discuss Quine’s claim according to which identity is a logical notion. We point out that Quine mixes up various types of identities: trivial (or diagonal) identity, Leibniz identity, etc.; and this leads him to commit several mistakes. In a second section, we review Quine’s criticisms to various philosophers (Wittgenstein, Whitehead, Leibniz, etc.), who ac-cording to him made confusion between names and objects in defining identity. We show that in fact only Korzybski can be accused of (...) such confusion. In a third section, we analyze the relation between identity and entity. We notice that for Quine a river is the result of the identification of river stages, but that he admits it as an entity by opposition to squareness, which according to him is a result of an identification process of higher abtraction. (shrink)

This is a collection of new investigations and discoveries on the theory of opposition by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.

We discuss the many aspects and qualities of the number one: the different ways it can be represented, the different things it may represent. We discuss the ordinal and cardinal natures of the one, its algebraic behaviour as a neutral element and finally its role as a truth-value in logic.

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...) is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics. (shrink)

Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that $\neg(a\wedge\neg a)$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.

We discuss the history of the revival of the theory of opposition, with its emerging paradigms of research, and the related events that are organized in this perspective, including the latest one in Leuven in 2022.

We analyse the behaviour of definite descriptions and proper names terms in mathematical logic. We show that in formal arithmetic, wether some axioms are fixed or not, proper names cannot be considered rigid designators and have the same behaviour as definite descriptions. In set theory, sometimes two names for the same object are introduced. It seems that this can be explained by the notion of meaning. The meaning of such proper names can be considered as fuzzy sets of equivalent co-designative (...) definite descriptions and their references as sets of all equivalent co-designative definite descriptions. (shrink)

(2012). Foreword. Journal of Applied Non-Classical Logics: Vol. 22, SPECIAL ISSUE 1: Uses of Non-Classical Logic: Foundational Issues; SPECIAL ISSUE 2: Formal Models of Norm Change, pp. 1-1. doi: 10.1080/11663081.2012.682433.

In a first section, we discuss Quine’s claim according to which identity is a logical notion. We point out that Quine mixes up various types of identities: trivial (or diagonal) identity, Leibniz identity, etc.; and this leads him to commit several mistakes. In a second section, we review Quine’s criticisms to various philosophers (Wittgenstein, Whitehead, Leibniz, etc.), who according to him made confusion between names and objects in defining identity. We show that in fact only Korzybski can be accused of (...) such confusion. In a third section, we analyze the relation between identity and entity. We notice that for Quine a river is the result of the identification of river stages, but that he admits it as an entity by opposition to squareness, which according to him is a result of an identification process of higher abstraction. (shrink)

This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these concepts are related to such notions as (...) semantics, truth-functionality and bivalence. We argue that a logic, which is simple, can deserve the name logic and that the opposite view is connected with a reductionist perspective (reduction of logic to algebra). (shrink)